Holger Hermanns (eds.) : rechercher sur Z-Library

Campagne de collecte 15 septembre 2024 – 1 octobre 2024 C'est quoi, la collecte de fonds?

Libre accès à la connaissance et à la culture.

Campagne de collecte 15 septembre 2024 – 1 octobre 2024

Z-Library est une des plus grandes bibliothèques en ligne dans le monde, avec le stockage de plus de 17,000,000 livres et plus de 84,837,000 articles. Nous encourageons l'accès libre de chacun à la littérature. Aujourd'hui (15 septembre 2024) nous faisons un appel de fonds à tous ceux qui veulent contribuer encore plus au soutien et au développement de notre projet.

Les téléchargements SANS LIMITE sont aussi (au cours de 31 jours après la date de don) disponibles pour TOUS les utilisateurs qui soient en mesure de soutenir le projet pendant la période de collecte de fonds jusqu'au 1 octobre 2024.

C'est quoi, la collecte de fonds?En savoir plus

Livres (16)
Les plus populaires
Liste
- Liste
- Tableau

1

Validation of Stochastic Systems: A Guide to Current Research

Validation of Stochastic Systems: A Guide to Current Research

Springer-Verlag Berlin Heidelberg

Ana Sokolova, Erik P. de Vink (auth.), Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen, Markus Siegle (eds.)

Année:

2004

Langue:

english

Fichier:

PDF, 5.22 MB

0 / 0

english, 2004

2

Process Algebra and Probabilistic Methods: Performance Modeling and Verification: Second Joint International Workshop PAPM-PROBMIV 2002 Copenhagen, Denmark, July 25–26, 2002 Proceedings

Process Algebra and Probabilistic Methods: Performance Modeling and Verification: Second Joint International Workshop PAPM-PROBMIV 2002 Copenhagen, Denmark, July 25–26, 2002 Proceedings

Springer-Verlag Berlin Heidelberg

André Schiper (auth.), Holger Hermanns, Roberto Segala (eds.)

Année:

2002

Langue:

english

Fichier:

PDF, 2.32 MB

0 / 0

english, 2002

3

Interactive Markov Chains: And the Quest for Quantified Quality

Interactive Markov Chains: And the Quest for Quantified Quality

Springer-Verlag Berlin Heidelberg

Holger Hermanns (eds.)

Année:

2002

Langue:

english

Fichier:

PDF, 2.92 MB

0 / 0

english, 2002

4

CONCUR 2006 – Concurrency Theory: 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006. Proceedings

CONCUR 2006 – Concurrency Theory: 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006. Proceedings

Springer-Verlag Berlin Heidelberg

Xiaojun Liu, Eleftherios Matsikoudis, Edward A. Lee (auth.), Christel Baier, Holger Hermanns (eds.)

Année:

2006

Langue:

english

Fichier:

PDF, 5.16 MB

0 / 0

english, 2006

5

Computer Aided Verification: 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007. Proceedings

Computer Aided Verification: 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007. Proceedings

Springer-Verlag Berlin Heidelberg

Byron Cook (auth.), Werner Damm, Holger Hermanns (eds.)

Année:

2007

Langue:

english

Fichier:

PDF, 7.71 MB

0 / 0

english, 2007

6

Process Algebra and Probabilistic Methods: Performance Modeling and Verification: Second Joint International Workshop PAPM-PROBMIV 2002 Copenhagen, Denmark, July 25–26, 2002 Proceedings

Process Algebra and Probabilistic Methods: Performance Modeling and Verification: Second Joint International Workshop PAPM-PROBMIV 2002 Copenhagen, Denmark, July 25–26, 2002 Proceedings

Springer-Verlag Berlin Heidelberg

André Schiper (auth.), Holger Hermanns, Roberto Segala (eds.)

Année:

2002

Langue:

english

Fichier:

PDF, 3.57 MB

0 / 0

english, 2002

7

Embedded Systems for Smart Appliances and Energy Management

Embedded Systems for Smart Appliances and Energy Management

Springer-Verlag New York

Holger Hermanns, Holger Wiechmann (auth.), Christoph Grimm, Peter Neumann, Stefan Mahlknecht (eds.)

Année:

2013

Langue:

english

Fichier:

PDF, 4.76 MB

0 / 0

english, 2013

8

Interactive Markov Chains: And the Quest for Quantified Quality

Interactive Markov Chains: And the Quest for Quantified Quality

Springer-Verlag Berlin Heidelberg

Holger Hermanns (eds.)

Année:

2002

Langue:

english

Fichier:

PDF, 2.64 MB

0 / 0

english, 2002

9

Tools and Algorithms for the Construction and Analysis of Systems: 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006. Proceed

Tools and Algorithms for the Construction and Analysis of Systems: 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006. Proceed

Springer-Verlag Berlin Heidelberg

Somesh Jha, Stefan Schwoon, Hao Wang, Thomas Reps (auth.), Holger Hermanns, Jens Palsberg (eds.)

Année:

2006

Langue:

english

Fichier:

PDF, 5.35 MB

0 / 0

english, 2006

10

Tools and Algorithms for the Construction and Analysis of Systems: 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Procee

Tools and Algorithms for the Construction and Analysis of Systems: 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Procee

Springer-Verlag Berlin Heidelberg

Holger Hermanns (auth.), Cormac Flanagan, Barbara König (eds.)

Année:

2012

Langue:

english

Fichier:

PDF, 7.92 MB

0 / 0

english, 2012

11

Lectures on Formal Methods and PerformanceAnalysis: First EEF/Euro Summer School on Trends in Computer Science Bergen Dal, The Netherlands, July 3–7, 2000 Revised Lectures

Lectures on Formal Methods and PerformanceAnalysis: First EEF/Euro Summer School on Trends in Computer Science Bergen Dal, The Netherlands, July 3–7, 2000 Revised Lectures

Springer-Verlag Berlin Heidelberg

Ulrich Herzog (auth.), Ed Brinksma, Holger Hermanns, Joost-Pieter Katoen (eds.)

Année:

2001

Langue:

english

Fichier:

PDF, 3.80 MB

5.0 / 5.0

english, 2001

12

Software Engineering and Formal Methods: 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings

Software Engineering and Formal Methods: 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

Holger Hermanns (auth.), Gilles Barthe, Alberto Pardo, Gerardo Schneider (eds.)

Année:

2011

Langue:

english

Fichier:

PDF, 8.66 MB

0 / 0

english, 2011

13

Illustrierte Geschichte der Urologie

Illustrierte Geschichte der Urologie

Springer-Verlag Berlin Heidelberg

Hermann Hausmann (auth.), Dr. med. habil. Dr. phil. Jürgen Konert, Priv.-Doz. Dr. med. Holger G. Dietrich (eds.)

Année:

2004

Langue:

german

Fichier:

PDF, 38.02 MB

0 / 0

german, 2004

14

Tools and Algorithms for the Construction and Analysis of Systems: 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Procee

Tools and Algorithms for the Construction and Analysis of Systems: 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Procee

Springer-Verlag Berlin Heidelberg

Holger Hermanns (auth.), Cormac Flanagan, Barbara König (eds.)

Année:

2012

Langue:

english

Fichier:

PDF, 7.88 MB

0 / 0

english, 2012

15

Lectures on Formal Methods and PerformanceAnalysis: First EEF/Euro Summer School on Trends in Computer Science Bergen Dal, The Netherlands, July 3–7, 2000 Revised Lectures

Lectures on Formal Methods and PerformanceAnalysis: First EEF/Euro Summer School on Trends in Computer Science Bergen Dal, The Netherlands, July 3–7, 2000 Revised Lectures

Springer-Verlag Berlin Heidelberg

Ulrich Herzog (auth.), Ed Brinksma, Holger Hermanns, Joost-Pieter Katoen (eds.)

Année:

2001

Langue:

english

Fichier:

PDF, 6.08 MB

5.0 / 3.0

english, 2001

16

Software Engineering and Formal Methods: 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings

Software Engineering and Formal Methods: 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

Holger Hermanns (auth.), Gilles Barthe, Alberto Pardo, Gerardo Schneider (eds.)

Année:

2011

Langue:

english

Fichier:

PDF, 7.63 MB

0 / 0

english, 2011